A disjoint algorithm for boolean logic functions based on cubic operations is presented, and another algorithm which is based on Binary decision diagram ( BDD) is also discussed. The two algorithms can both be applied for improving the computation efficiency in the analysis of GRBDS. 论文提出了基于立方体运算的布尔逻辑函数不交化算法,研究了布尔函数不交化的BDD算法,这两种算法均可用于改进GRBDS可靠性分析的效率。